Publications of
First steps toward a Verification and validation ontology (regular paper)
In : European Conference on Embedded Real Time Software and Systems (ERTS 2012), Toulouse, France, 01/02/12-03/02/12, SIA/3AF/SEE, (electronic medium), February 2012.
Mounira Kezadri, Benoit Combemale, Marc Pantel, Xavier Thirioux
A proof assistant based formalization of MDE components (regular paper)
In : Formal Aspects of Component Software (FACS 2011), Oslo, Norway, 14/09/11-16/09/11, Vol. 7253, Springer, Lecture Notes in Computer Science, (electronic medium), September 2011.
Premières expériences pour l’édition correcte par construction de modèles (short paper)
In : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2010), LISI / ENSMA, Poitiers, France, 06/06/10-11/06/10, Yamine Aït-Ameur (Eds.), LISI-ENSMA, pp. 217-221, June 2010.
Abstract URL : http://www.irit.fr/publis/ACADIE/afadl2010.pdf
BibTeXFirst steps toward a Verification and validation ontology (student paper)
In : International Conference on Knowledge Engineering and Ontology Development (KEOD 2010), Valencia, Spain, 25/10/10-28/10/10, INSTICC – Institute for Systems and Technologies of Information, Control and Communication, (electronic medium), October 2010.
Validation et vérification de systèmes critiques: Ontologies et intégration de composants
Master’s Thesis, Institut National Polytechnique de Toulouse, July 2013.